Cálculo de sistemas comunicantes
- Cálculo de sistemas comunicantes
- El cálculo de sistemas comunicantes o CCS es un lenguaje de especificación formal basado en el álgebra de procesos, para la especificación y modelado de sistemas discretos comunicantes.
El lenguaje CCS fue propuesto ("A Calculus of Communicating Systems") por Robin Milner para ejemplificar su idea de un álgebra para representar simbólicamente los procesos que conforman un sistema de software paralelo, su proposición fue hecha poco antes que la de CSP de Tony Hoare ("Communicating Sequential Processes"), formando ambos lenguajes los ejemplos por excelencia de lo que es un álgebra de procesos.
Enciclopedia Universal.
2012.
Mira otros diccionarios:
Cálculo de sistemas comunicantes — Saltar a navegación, búsqueda El cálculo de sistemas comunicantes o CCS es un lenguaje de especificación formal basado en el álgebra de procesos, para la especificación y modelado de sistemas discretos comunicantes. Un diagrama CCS mostrando dos… … Wikipedia Español
Cálculo pi — Saltar a navegación, búsqueda En la ciencia de computación teórica, el cálculo π es una notación desarrollada originalmente por Robin Milner, Joachim Parrow y David Walker, como un avance sobre el cálculo de sistemas comunicantes con el fin de… … Wikipedia Español
Cálculo pi — En la ciencia de computación teórica, el cálculo π es una notación desarrollada originalmente por Robin Milner, Joachim Parrow y David Walker, como un avance sobre el cálculo de sistemas comunicantes (CCS) con el fin de proveer movilidad al… … Enciclopedia Universal
Teoría de lenguajes de programación — Lambda en minúsculas. La teoría de lenguajes de programación es una rama de la informática que se encarga del diseño, implementación, análisis, caracterización y clasificación de lenguajes de programación y sus características. Es un campo multi… … Wikipedia Español
Premio Turing — El Premio Turing es un premio de las Ciencias de la Computación que es otorgado anualmente por la Asociación para la Maquinaria Computacional (ACM) a quienes hayan contribuido de manera trascendental al campo de las ciencias computacionales. El… … Wikipedia Español
Robin Milner — Saltar a navegación, búsqueda Robin Milner es un prominente científico británico en Computación. Graduado en el King s College, Cambridge en 1957, Milner ha sido profesor en City University, Londres, Swansea University, Universidad de Stanford,… … Wikipedia Español
Robin Milner — es un prominente Científico Británico en Computación. Graduado en el King s College, Cambridge en 1952, Milner ha sido profesor en City University, Londres, Swansea University, Universidad de Stanford, Universidad de Edimburgo y desde 1995 como… … Enciclopedia Universal
Efecto túnel — Saltar a navegación, búsqueda Reflexión y tunelado de un electrón dirigido hacia una barrera potencial. El punto resplandeciente moviéndose de derecha a izquierda es la sección reflejada del wavepacket. Un vislumbre puede observarse a la derecha… … Wikipedia Español
